Словарь по логике - отношение рефлексивное

бинарное (двухместное) отношение R, определенное на некотором множестве и отличающееся тем, что для любого х некоторого множества элемент х находится в отношении R к самому себе, т. е. для любого элемента х этого множества имеет место xRx. Примерами О. р. могут быть: равенство (=), меньше или равно (?), одновременность, сходство и др. Так, каждое событие х одновременно с самим собой, т. е. имеет место xRx.